Questo modulo introduttivo colma il divario tra array di caratteri grezzi e non strutturati e la rigorosa matematica della teoria formale dei linguaggi. Passiamo da ricerca imperativa—ispezione manuale carattere per carattere—a specifica dichiarativa, dove definiamo una grammatica formale che rappresenta l'insieme infinito di stringhe valide.

1. La Natura dell'Entropia delle Stringhe

I dati grezzi sono intrinsecamente "caotici" perché mancano di struttura; sono semplicemente una sequenza di byte fino a quando una grammatica formale non ne categorizza i costituenti. Nel design di protocolli, verificare questa entropia è la prima linea di difesa contro input malformati.

2. Paradigmi e Automi

Le espressioni regolari si radicano nella Gerarchia di Chomsky. Le espressioni regolari fungono da progetti per costruire Automi Finiti Deterministici (DFA). Invece di scrivere if-else catene per trovare modelli, definiamo cosa sia il modello è, permettendo al motore di gestire la logica di scansione.